(define (problem strips-mprime-y-5)
   (:domain mystery-prime-strips)
   (:objects marzipan tofu chicken snickers ham arugula love
             intoxication empathy excitement depression sciatica manitoba
             arizona kentucky bosnia guanabara goias uranus earth mars
             jupiter)
   (:init (food marzipan)
          (food tofu)
          (food chicken)
          (food snickers)
          (food ham)
          (food arugula)
          (pleasure love)
          (pleasure intoxication)
          (pleasure empathy)
          (pleasure excitement)
          (pain depression)
          (pain sciatica)
          (province manitoba)
          (province arizona)
          (province kentucky)
          (province bosnia)
          (province guanabara)
          (province goias)
          (planet uranus)
          (planet earth)
          (planet mars)
          (planet jupiter)
          (harmony empathy mars)
          (eats chicken arugula)
          (eats tofu arugula)
          (eats ham marzipan)
          (eats arugula tofu)
          (attacks bosnia guanabara)
          (locale tofu goias)
          (attacks arizona kentucky)
          (eats marzipan tofu)
          (eats ham snickers)
          (eats chicken ham)
          (attacks manitoba arizona)
          (locale marzipan manitoba)
          (eats chicken snickers)
          (craves sciatica arugula)
          (harmony excitement jupiter)
          (eats tofu marzipan)
          (attacks kentucky bosnia)
          (locale ham arizona)
          (locale snickers bosnia)
          (locale chicken bosnia)
          (harmony intoxication mars)
          (craves depression arugula)
          (orbits uranus earth)
          (craves excitement arugula)
          (craves empathy chicken)
          (eats snickers ham)
          (craves love marzipan)
          (orbits mars jupiter)
          (locale arugula manitoba)
          (craves intoxication tofu)
          (eats snickers chicken)
          (eats marzipan ham)
          (eats arugula chicken)
          (harmony love jupiter)
          (attacks guanabara goias)
          (orbits earth mars)
          (eats ham chicken))
   (:goal (and (craves sciatica ham))))